Maximum modulus theorem